1. Conceptual Modeling -- ER '96 :
پدیدآورنده : edited by Bernhard Thalheim.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
9
.
D26
E358
1996
2. Developments in Language Theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;
3. Dynamische Integrität von Datenbanken :
پدیدآورنده : von Udo W. Lipeck.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
9
.
D3
V668
1989
4. Logic Programming and Databases
پدیدآورنده : by Stefano Ceri, Georg Gottlob, Letizia Tanca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
63
B978
1990
5. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
